Dutch microprogrammering: переклад на інші мови